ar X iv : c s / 06 05 04 7 v 1 [ cs . I T ] 1 1 M ay 2 00 6 Generalized Entropy Power Inequalities and Monotonicity Properties of Information ∗

ar X iv : c s / 06 05 08 5 v 1 [ cs . L O ] 1 9 M ay 2 00 6 A Scalable Algorithm for Minimal Unsatisfiable Core Extraction ⋆

We propose a new algorithm for minimal unsatisfiable core extraction, based on a deeper exploration of resolution-refutation properties. We provide experimental results on formal verification benchmarks confirming that our algorithm finds smaller cores than suboptimal algorithms; and that it runs faster than those algorithms that guarantee minimality of the core. (A more complete version of thi...

ar X iv : a st ro - p h / 06 05 06 7 v 1 2 M ay 2 00 6 Sensitivity and pointing accuracy of the NEMO km 3 telescope

ar X iv : h ep - p h / 06 05 13 6 v 1 1 1 M ay 2 00 6 Lepton Flavor Violating τ and μ decays

ar X iv : m at h / 06 05 35 5 v 1 [ m at h . G R ] 1 3 M ay 2 00 6 Axes in Outer Space

ar X iv : h ep - e x / 06 05 04 8 v 1 1 5 M ay 2 00 6 Jet Measurements and Determination of α S at HERA

The strong coupling constant αS can be measured in deep inelastic ep scattering by employing various methods. Recent results on the extraction of αS using jet and event shape observables are presented. The results are found to be in good agreement with other more inclusive measurements and the world average value.